221. Mathematical logic and theoretical computer science
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
رده :
QA
9
.
2
.
M35
1987
222. Mathematical logic for computer science
المؤلف: Ben-Ari, Mordechai
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
B3955
2001
223. Mathematical logic for computer science
المؤلف: Ben-Ari, M.
المکتبة: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
B3955
2001
224. Mathematical logic for computer science
المؤلف: Lu, Chung-wan.
المکتبة: (طهران)
موضوع: Electronic data processing - Mathematics , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
L8
1989
225. Mathematical logic for computer science
المؤلف: Mordechai Ben-Ari
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
B3955
2012eb
226. Mathematical logic for computer science
المؤلف: Ben-Ari, M.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
B3955
2001
227. Mathematical logic for computer science
پدیدآورنده : Lu, Chung-wan
موضوع : Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
228. Mathematical logic for computer science
المؤلف: Lu, Zhong-Wan
المکتبة: (طهران)
موضوع: ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35L8
1989
229. Mathematical logic in computer science
المؤلف: / edited by B. Domolki and T. Gergely
المکتبة: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (طهران)
موضوع:
رده :
QA76
،.
M352
1981
230. 9, 2010. Proceedings-Deontic Logic in Computer Science: 10th International Conference, DEON 2010, Fiesole, Italy, July 7
المؤلف: / Rosaria Conte, Giulia Andrighetto, Daniel Villatoro (auth.), Guido Governatori, Giovanni Sartor (eds.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: METHODS|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
231. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
المؤلف: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
المکتبة: (طهران)
موضوع: Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
رده :
QA
76
.
9
.
M35
S94
1994
232. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
المؤلف: Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...]et al.[
المکتبة: (طهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
S94
2004
233. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
المؤلف: sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
المکتبة: (طهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
I38
2000
234. Programmable logic controllers: the industrial computer
المؤلف: Costanzo, Marco
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programmable controllers,، Programmable logic devices-- Desing
رده :
TJ
223
.
P76
.
C67
1997
235. Programmable logic controllers: the industrial computer
المؤلف: Costanzo, Marco
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Programmable controllers
رده :
TJ
223
.
P76
C67
236. Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
المؤلف: Jan Mycielsik, Grzegorz Rozenberg, Arto Salomaa, )eds.(
المکتبة: (طهران)
موضوع: ، Ehrenfeucht, Andrzej,، Computer science,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1261
237. The logic of computer arithmetic
المؤلف:
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Electronics digital computers,Numerical calculations,Brinary systmes
رده :
510
.
78
Fl-L
238. The logic of computer arithmetic
المؤلف:
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Electronic digital computers,Numerical calculations,Binary systems (Metallurgy)
رده :
QA
76
.
5
.
F46
239. . Thomas C.Bartee, Computer Architecture and Logic Design
المؤلف: Bartee,Thomas.C
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Computer Architecture,، Logic Design
رده :
AQ
76
.
9/
A73B374
240. مدارهای منطقی و سخت افزار کامپیوتر,Logic Circuits and Computer Hardware
المؤلف: محمود تابنده. سید محمد مکی ,,تابنده. محمود
المکتبة: كتابخانه مركزي و مركز اسناد شهيد مطهري دانشگاه رازى (کرمانشاه)
موضوع: مدارهای منطقی طراحی منطقی سخت افزار کامپیوتر
رده :
TK
7868
/
ت
2
م
4
